Combining Philosophers

All the ideas for Critolaus, Hilbert,D/Ackermann,W and Edmund L. Gettier

expand these ideas     |    start again     |     specify just one area for these philosophers

---

3 ideas

4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC

17750

The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]

13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / b. Gettier problem

8886	Being a true justified belief is not a sufficient condition for knowledge [Gettier]

22. Metaethics / C. The Good / 2. Happiness / b. Eudaimonia

5996	Critolaus redefined Aristotle's moral aim as fulfilment instead of happiness [Critolaus, by White,SA]